-
1 закон самодистрибутивности
Большой англо-русский и русско-английский словарь > закон самодистрибутивности
-
2 self-distributive law
Большой англо-русский и русско-английский словарь > self-distributive law
-
3 self-distributive law
English-Russian dictionary of computer science and programming > self-distributive law
-
4 self-distributive law
English-Russian information technology > self-distributive law
-
5 self-distributive law
-
6 self-distributive law of implication
English-Russian scientific dictionary > self-distributive law of implication
-
7 self-distributive law
Вычислительная техника: закон самодистрибутивности -
8 self-distributive law of implication
Математика: закон самодистрибутивности импликацииУниверсальный англо-русский словарь > self-distributive law of implication
-
9 self-distributive law
English-Russian scientific dictionary > self-distributive law
См. также в других словарях:
закон дистрибутивности — (от англ. distribution распределение, размещение) общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой. Полный 3. д. конъюнкции относительно дизъюнкции с… … Словарь терминов логики
ДИСТРИБУТИВНОСТИ ЗАКОН — (от лат. distributus – распределенный), р а с п р е д е л и тельный закон, – закон, выражающий дистрибутивность (распределительность) одной данной логич. или математич. операции относительно др. данной операции. Примером Д. з. может служить закон … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ДЕДУКЦИИ ТЕОРЕМА — ДЕДУКЦИИ ТЕОРЕМА метатеоретическое утверждение о формальной логической теории (исчислении) Т, в соответствии с которым существование в исчислении Т вывода логического формулы В из называемых гипотезами формул Ai, Ai, ..., А„ (символически: Αι … Философская энциклопедия